$\forall$${\it as}$:(top List), $f$:top. ($\neg$($\uparrow$null(${\it as}$))) $\Rightarrow$ sqequal(last(map($f$; ${\it as}$)); ($f$(last(${\it as}$))))